@charset "utf-8";
/* 
 * CSS definitions for rounded corners.
 * Original source: http://blog.benogle.com/2009/04/29/css-round-corners/
 */

.border1, .border2, .border3, .border4{font-size:1px; overflow:hidden; display:block;}
.border1 {height:1px; background:#888; margin:0 5px;}
.border2 {height:1px; background:#ddd; border-right:2px solid #888; border-left:2px solid #888; margin:0 3px;}
.border3 {height:1px; background:#ddd; border-right:1px solid #888; border-left:1px solid #888; margin:0 2px;}
.border4 {height:2px; background:#ddd; border-right:1px solid #888; border-left:1px solid #888; margin:0 1px;}
.bordercontent {background: #ddd; border-right:1px solid #888; border-left:1px solid #888; padding: 1em;}
.bordercontent div {margin-left: 5px;}

.b1h, .b2h, .b3h, .b4h, .b2bh, .b3bh, .b4bh{font-size:1px; overflow:hidden; display:block;}
.b1h {height:1px; background:#aaa; margin:0 5px;}
.b2h, .b2bh {height:1px; background:#aaa; border-right:2px solid #aaa; border-left:2px solid #aaa; margin:0 3px;}
.b3h, .b3bh {height:1px; background:#aaa; border-right:1px solid #aaa; border-left:1px solid #aaa; margin:0 2px;}
.b4h, .b4bh {height:2px; background:#aaa; border-right:1px solid #aaa; border-left:1px solid #aaa; margin:0 1px;}
.b2bh, .b3bh, .b4bh {background: #ddd;}
.prompt_header {background: #aaa; border-right:1px solid #aaa; border-left:1px solid #aaa;}
.prompt_header h3 {margin: 0px 10px 0px 10px; padding-bottom: 3px;}
.prompt_content {padding-bottom: 3em;background: #ddd; border-right:1px solid #aaa; border-left:1px solid #aaa;}
.prompt_content div {margin-left: 12px; padding-top: 5px;}
